#ifndef __ELF_H__
#define __ELF_H__

#include "common.h"

uint32_t look_for_symbol(char*);
void look_up_frame(swaddr_t , char* );

#endif
